141. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
142. Elements of the theory of computation /
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
143. Elements of the theory of computation /Harry R. Lewis, Christos H. Papadimitriou.
پدیدآورنده:
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع: Machine theory.,Formal languages.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA
267
.
L49
2007
144. Fachtagung uber Automatentheorie und Formale Sprachen
پدیدآورنده: Gesellschaft fur Informatik
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
G47a
145. Feasible computations and provable complexity properties
پدیدآورنده: Hartmanis, Juris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
146. Formal languages and computation :
پدیدآورنده: Alexander Meduna
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages,Machine theory
رده :
QA267
.
3
.
M43
2014
147. Formal languages and their relation to automata
پدیدآورنده: / John E. Hopcroft, Jeffrey D. Ullman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal languages,Machine theory
رده :
QA267
.
3
.
H6
1969
148. Formal languages and their relation to automata
پدیدآورنده: Hopcroft, John E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
149. Formal languages and their relation to automata
پدیدآورنده: Hopcroft, John E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
150. Formal languages and their relation to automata
پدیدآورنده: Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
151. Formal languages and their relation to automata
پدیدآورنده: Hopcroft, John E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Formal languages , Machine theory
رده :
QA
267
.
3
.
H6
152. Groups, Languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده: Robert H. Gilman, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A5
1998
153. Groups, languages, and automata
پدیدآورنده: Holt, Derek F.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Group theory,، Formal languages,، Machine theory
رده :
QA
174
.
2
.
H64G7
154. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده: Robert H. Gilman, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
155. Groups, languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده: Robert H. Gilman, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Geometric group theory,، Machine theory,، Formal languages
رده :
QA
183
.
A47
1998
156. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
157. Groups,languages,and geometry:1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and coputer science,
پدیدآورنده: / Robert H.Gilman,editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Geometric group theory-Congresses.,Machine theory-Congresses.,Formal languages-Congress
رده :
QA183
.
S47
1998
158. Initation mathematique aux grammaires formelles
پدیدآورنده: Hughes, Michel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Formal languages,Machine theory
رده :
QA
267
.
3
.
H8
159. Initiation mathematique aux grammaires formelles
پدیدآورنده: / par Michel Hughes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Formal languages,Machine theory
رده :
001
.
53
Hu-I
160. Initiation mathematique aux grammires formelles
پدیدآورنده: Hughes,Michel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H8
